prove (cosecA-sinA)(secA-cosA)=1